Mobility Types for Mobile Ambients Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guaran

Source URL: www.di.unipi.it

Value Sensitivity and Observable Abstract Values for Information Flow Control Luciano Bello1 , Daniel Hedin1,2 , and Andrei Sabelfeld1 1 Chalmers University of Technology

Source URL: www.cse.chalmers.se

• Data types
• Type theory
• Typeof
• Variable
• High Speed 2
• Information flow
• Dynamical system
• Monad
• Type system
• Operator

Using XML as an Object Interchange Format G.M. Bierman Department of Computer Science University of Warwick May 17, 2000 Abstract

Source URL: www.odbms.org

• Computing
• Computer file formats
• HTML
• Document type definition
• Attribute
• HTML element
• Struct
• Java class file
• Object Definition Language
• XML Schema

Divergence of F≤ type checking Giorgio Ghelli1 Abstract System F≤ is an extension of second-order typed lambda calculus, where a subtype hierarchy among types is defined, and bounded second-order lambda

Source URL: www.di.unipi.it

Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract

Source URL: www.math.nagoya-u.ac.jp

• Type theory
• Data types
• Functional languages
• Type systems
• Object-oriented programming languages
• OCaml
• Type inference
• Generalized algebraic data type
• Unification
• ML
• HindleyMilner type system
• Type conversion

[12 pt. Arial Bold] Type of Contribution: PAPERpt. Arial Bold] Title of Extended Abstract [12 pt. Arial Bold] Keywords: 3-5 keywords

Source URL: ozk.unizd.hr

A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §

Source URL: www-verimag.imag.fr

• Computing
• Software engineering
• Computer programming
• Abstract interpretation
• Data types
• Functional languages
• Denotational semantics
• Function
• Array data type
• Scala
• Widening
• Data-flow analysis

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

INEQUALITIES OF THE KAHANE-KHINCHIN TYPE AND SECTIONS OF Lp -BALLS. A. KOLDOBSKY, A. PAJOR AND V. YASKIN Abstract. We extend Kahane-Khinchin type inequalities to the case p > −2. As an application we verify the slicing

Source URL: perso-math.univ-mlv.fr

Fractional Ownerships for Safe Memory Deallocation Kohei Suenaga and Naoki Kobayashi Tohoku University?? Abstract. We propose a type system for a programming language with

Source URL: www-kb.is.s.u-tokyo.ac.jp